Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·2d
Breaking Down and Explaining Type Parameters
hackernoon.com·1d
LZ4 Decompression on the 68000
bumbershootsoft.wordpress.com·19h
BSDCan 2025 Trip Report – Mark Johnston
freebsdfoundation.org·1d
Loading...Loading more...